Interactive Systems Design, Specification, And Verification Gavin

Gavin Doherty (u. A.) | Interactive Systems Design, Specification,

Gavin Doherty; Ann Blandford / Interactive Systems. Design,

Specification And Seamless Verification Ofembedded Real-time Systems

Specification And Verification Of Multi-agent Systems Mehdi Dastani

Communication Protocol Specification And Verification |

Architectural Design Conception And Specification Of Interactive

Juan C. Torres (u. A.) | Design, Specification And Verification Of...

Peter Müller | Modular Specification And Verification Of

Maria Spichkova | Specification And Seamless Verification

Specifications And Verifications Of Transactions In Mobile Environment

Rafat Alshorman (u. A.) | Specifications And Verifications Of

Design And Verification Of Microprocessor Systems For High-assurance

David S. Hardin | Design And Verification Of Microprocessor Systems

Protocol Specification, Testing And Verification Xiv Samuel T. Chanson

Emerging Trends In Intelligent And Interactive Systems And